| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/3TLK4L5 | |||
| Repositório | sid.inpe.br/mtc-m21c/2019/07.16.12.41 | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2019/07.16.12.41.41 | |||
| Última Atualização dos Metadados | 2020:01.06.11.42.16 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| Chave de Citação | MarianoSouzEndoVija:2019:SyMa | |||
| Título | Identifying approaches to generate test cases in model-based testing: a systematic mapping  | |||
| Ano | 2019 | |||
| Data de Acesso | 21 maio 2024 | |||
| Tipo Secundário | PRE CI | |||
| 2. Contextualização | ||||
| Autor | 1 Mariano, Matheus Monteiro 2 Souza, Érica F. de 3 Endo, André T. 4 Vijaykumar, Nandamudi Lankalapalli | |||
| Identificador de Curriculo | 1 2 3 4 8JMKD3MGP5W/3C9JHTU | |||
| Grupo | 1 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR 2 3 4 LABAC-COCTE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Universidade Tecnológica Federal do Paraná (UTFPR) 3 Universidade Tecnológica Federal do Paraná (UTFPR) 4 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 matheus.mariano@inpe.br 2 ericasouza@utfpr.edu.br 3 andreendo@utfpr.edu.br 4 vijay.nl@inpe.br | |||
| Nome do Evento | Ibero-American Conference on Software Engineering (CIbSE), 22 | |||
| Localização do Evento | La Habana, Cuba | |||
| Data | 22-26 apr. | |||
| Editora (Publisher) | Ibero-American Conference on Software Engineering | |||
| Histórico (UTC) | 2019-07-16 12:42:42 :: simone -> administrator :: 2019 2020-01-06 11:42:16 :: administrator -> simone :: 2019 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Resumo | ontext: Model-Based Testing (MBT) has attracted a lot of attention from software testing researchers, since it has been ecient in employing formal models to represent the reactive systems behavior in order to guide test case generation. Objective: This paper investigates approaches to automatically generate test cases in MBT, such as methods, criteria, formal models, and evaluation strategies of the generated test cases. Method: A systematic mapping was conducted in order to summarize the main approaches used in the MBT context. Results: From the mapping, we identied 97 studies addressing approaches to generate test cases in MBT. Conclusion: Several pointers to some approaches have been identied which will help practitioners and researchers to identify future research from existing research eorts in MBT. Among the indicators that most caught the attention is that there is a great eort spent in developing new test methods (32 methods), test criteria (29 criteria), formal models (24 models) and evaluations conducted in the selected studies (145 types). | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Identifying approaches to... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Identifying approaches to... | |||
| Conteúdo da Pasta doc | não têm arquivos | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| Idioma | en | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS | |||
| Lista de Itens Citando | ||||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark mirrorrepository nextedition notes numberoffiles numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle size sponsor subject targetfile tertiarymark tertiarytype type url versiontype volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||